Projets CNEPRU:

• - Modélisation Formelle, et Performances des Systèmes Complexes (MFPSC). Localisé à l'USTHB, 2014-2018,  Chef de projet: Prof. M. BOUKALA-IOUALALEN
• - Modélisation, Analyse des Performances, Fiabilité et Optimisation des Systèmes avec Appels répétés : Application aux réseaux mobiles. Localisé à l'USTHB,  2014 - 2018, Chef de Projet: Prof. N. GHARBI
• - Spécification et Vérification des Systèmes Complexes (SVSC). Localisé à l'USTHB, 2014 - 2018,  Chef de Projet: Dr. M.C. BOUKALA

Projets CNEPRU finalisés:

• - Méthodes formelles, Vérification et Performances des Systèmes (MFVP),  2009-2013.
• - Modélisation, Evaluation des Performances et Qualité de Service des Systèmes (MEPQoS),  2006-2008.
• - Modélisation, Spécication, Validation et Evaluation des Performances des systèmes (MSVP),  2002-2005.